1. A first course in logic /
پدیدآورنده: Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
2. Propositional and predicate calculu
پدیدآورنده: / Derek Goldrei
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Propositional calculus--Problems, exercises, etc,Predicate calculus--Problems, exercises, etc
رده :
QA
,
9
.
3
,.
G65
,
2005
3. Propositional and predicate calculus
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;
4. Propositional and predicate calculus: a model of argument
پدیدآورنده: / Derek Goldrei
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc
رده :
511
.
3
G621P
2005
